A Formalism and Method for the Automated Synthesis of Executable Process Models from SME-authored Process Diagrams
نویسندگان
چکیده
Enabling Subject Matter Experts (SMEs) to formulate knowledge without the intervention of Knowledge Engineers (KEs) requires providing SMEs with methods and tools that abstract the underlying knowledge representation, allowing SMEs to focus on the modeling activities. However, automatically bridging the gap between SME-authored models and their internal representation is not an easy task, especially in the case of complex knowledge types like processes, where aspects like frame management, data, and control flow need to be addressed. In this paper, we present a process representation formalism and method for automatically grounding SME-authored process models in the form of process diagrams into a particular representation language, supporting process representation and reasoning.
منابع مشابه
Extended DEVSML as a Model Transformation Intermediary to Make UML Diagrams Executable
The Unified Modeling Language (UML) has been widely used for software and system design. To reduce the cost and risk of the system development, it is very important to validate and evaluate the system precisely in early design phase. Many efforts were made to make UML executable by transforming single diagram to executable model such as Colored Petri Nets (CPN), however, approach like this coul...
متن کاملA Process Calculus for Molecular Interaction Maps
We present the MIM calculus, a modeling formalism with a strong biological basis, which provides biologically-meaningful operators for representing the interaction capabilities of molecular species. The operators of the calculus are inspired by the reaction symbols used in Molecular Interaction Maps (MIMs), a diagrammatic notation used by biologists. Models of the calculus can be easily derived...
متن کاملProcess Capability Studies in an Automated Flexible Assembly Process: A Case Study in an Automotive Industry
Statistical Process Control (SPC) methods can significantly increase organizational efficiency if appropriately used. The primary goal of process capability studies is to obtain critical information about processes to render them even more effective. This paper proposes a comprehensive framework for proper implementation of SPC studies, including the design of the sampling procedure and interva...
متن کاملHeuristic Process Model Simplification in Frequency Response Domain
Frequency response diagrams of a system include detailed and recognizable information about the structural and parameter effects of the transfer function model of the system. The information are qualitatively and quantitatively obtainable from simultaneous consideration of amplitude ratio and phase information. In this paper, some rules and relationships are presented for making use of frequenc...
متن کاملTranslation from the Quantified Implicit Process Flow Abstraction in SBGN-PD Diagrams to Bio-PEPA Illustrated on the Cholesterol Pathway
For a long time biologists have used visual representations of biochemical networks to gain a quick overview of important structural properties. Recently SBGN, the Systems Biology Graphical Notation, has been developed to standardise the way in which such graphical maps are drawn in order to facilitate the exchange of information. Its qualitative Process Description (SBGN-PD) diagrams are based...
متن کامل